Basic Concepts of Constraint Integer Programming Ambros Gleixner Zuse Institute Berlin September 30, 2015

Source URL: co-at-work.zib.de

MACISSixth International Conference on Mathematical Aspects of Computer and Information Sciences Zuse Institute Berlin, Berlin, Germany, 11-13 November 2015

Source URL: macis2015.zib.de

Decision Model for Cloud Computing under SLA Constraints Artur Andrzejak Zuse Institute Berlin (ZIB), Germany Email:

Source URL: mescal.imag.fr

• Concurrent computing
• Cloud infrastructure
• Stock market
• Amazon Elastic Compute Cloud
• Infrastructure as a Service
• Bid
• Order
• Application checkpointing
• Monetary policy
• Computing
• Economics
• Fault-tolerant computer systems

Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling Stefan Heinz1,? and J. Christopher Beck2 1 Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany

Source URL: tidel.mie.utoronto.ca

• Software engineering
• Applied mathematics
• Convex optimization
• Linear programming
• Constraint satisfaction
• Local consistency
• Cutting-plane method
• Relaxation
• Constraint programming
• Operations research
• Mathematical optimization

Freight Train Routing Torsten Klug ∗ Zuse Institute Berlin, Germany

Source URL: www.mech.kuleuven.be

• Routing
• Flow network
• Rail transport
• Infrastructure
• Railway electrification system
• Train
• Transport
• Land transport
• Graph theory

Success Story From Vision to Realisation ReadVerify Appliance from Crossroads Provides the Zuse-Institute Berlin with Precisely the Right Information about Tapes and Drives

Source URL: www.crossroads.com

• Zib
• Z3
• Konrad Zuse
• Backup
• Tape library
• Computer
• Zuse Institute Berlin
• Science and technology in Germany
• Germany
• Computing

Exploiting Non-Dedicated Resources for Cloud Computing Artur Andrzejak Zuse Institute Berlin (ZIB), Germany Email: [removed]

Source URL: mescal.imag.fr

• Applied probability
• System administration
• Reliability engineering
• Biostatistics
• Availability
• Data center
• Scalability
• High availability
• Confidence interval
• Statistics
• Concurrent computing
• Distributed computing

Tree-Sparse Modeling and Solution of Multistage Stochastic Programs Marc C. Steinbach Zuse Institute Berlin, Dept. Optimization Takustr. 7, 14195 Berlin, Germany [removed]

Source URL: drops.dagstuhl.de

• Applied mathematics
• Linear programming
• Stochastic programming
• Stochastic optimization
• Nonlinear programming
• Stochastic
• Trajectory optimization
• Mathematical optimization
• Operations research
• Mathematics

Centre for Process Systems Engineering Seminar High-precision solutions for linear programs over the rational numbers Ambros Gleixner Zuse Institute Berlin

Source URL: workspace.imperial.ac.uk

• Numerical software
• Numerical analysis
• SCIP
• Linear programming
• Mathematical optimization
• Algorithm
• Simplex algorithm
• Floating point
• Solver
• Operations research
• Applied mathematics
• Mathematics

Michael Berlin Zuse Institute Berlin contrail is co-funded by the EC 7th Framework Programme

Source URL: contrail-project.eu

• Cloud infrastructure
• Network file systems
• Cloud storage
• File hosting
• IBM General Parallel File System
• Apache Hadoop
• Filesystem in Userspace
• Rackspace Cloud
• Lustre
• Cloud computing
• Computing
• Centralized computing